Большой энциклопедический словарь - исчисление высказываний
Исчисление высказываний
исчисление высказываний
раздел математической логики, аксиоматическое построение логики высказываний.
Рейтинг статьи:
См. в других словарях
1.
Исчисление высказываний, исчисление суждений, раздел математической логики, в котором формально-аксиоматическим методом изучаются сложные (составные) высказывания, составленные из простых (элементарных, не анализируемых) высказываний с помощью логических связок «и», «или», «если..., то» и «неверно, что». При этом ставится цель охарактеризовать общезначимые в том или ином смысле высказывательные формы, т. е. те формулы, которые при любой подстановке высказываний вместо переменных дают высказывания, верные в соответствующем смысле. ...Большая советская энциклопедия
Вопрос-ответ:
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5279 | |
2 | 2772 | |
3 | 2665 | |
4 | 2649 | |
5 | 2169 | |
6 | 2165 | |
7 | 1919 | |
8 | 1769 | |
9 | 1765 | |
10 | 1735 | |
11 | 1485 | |
12 | 1480 | |
13 | 1385 | |
14 | 1333 | |
15 | 1292 | |
16 | 1254 | |
17 | 1243 | |
18 | 1159 | |
19 | 1143 | |
20 | 1064 |